Solution of a Problem of Barendregt on Sensible lambda-Theories
نویسندگان
چکیده
H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω form a Π11-complete set. Here we prove that conjecture.
منابع مشابه
Solution of a Problem of Barendregt on Sensible Λ-theories
H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω form a Π11-complete set. Here we prove that conjecture.
متن کاملSolution of a Problem of Barendregt on Sensible Λ-theories Benedetto Intrigila and Richard Statman
H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω form a Π11-complete set. Here we prove that conjecture.
متن کاملBifurcation Problem for Biharmonic Asymptotically Linear Elliptic Equations
In this paper, we investigate the existence of positive solutions for the ellipticequation $Delta^{2},u+c(x)u = lambda f(u)$ on a bounded smooth domain $Omega$ of $R^{n}$, $ngeq2$, with Navier boundary conditions. We show that there exists an extremal parameter$lambda^{ast}>0$ such that for $lambda< lambda^{ast}$, the above problem has a regular solution butfor $lambda> lambda^{ast}$, the probl...
متن کاملGraph Lambda Theories † a N T O N I O B U C C I a R E L L I and a N T O N I N O S a L I B R A
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the λβ or the least sensible λ-theory H (generated by equating all the unsolvable terms). A related question is whether, given a class of lambda models, there are a minimal λ-theory and a minimal sensible λ-theory represented by it. In this paper, we giv...
متن کاملExistence of a positive solution for a p-Laplacian equation with singular nonlinearities
In this paper, we study a class of boundary value problem involving the p-Laplacian oprator and singular nonlinearities. We analyze the existence a critical parameter $lambda^{ast}$ such that the problem has least one solution for $lambdain(0,lambda^{ast})$ and no solution for $lambda>lambda^{ast}.$ We find lower bounds of critical parameter $lambda^{ast}$. We use the method ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logical Methods in Computer Science
دوره 2 شماره
صفحات -
تاریخ انتشار 2006